%%% THIS IS JUST A DUMMY FILE: CMake will generate the correct one when building the manual
\gdef\CMakeLibVersion{non-identified (not built with CMake)}
